#include "syscall.h"

int main (int argc, char *argv[]) {

    Print("Print: This is a message: ");
	PrintNum(88888);
	Print("\n");
}

